Logics of intuitionistic Kripke-Platek set theory
نویسندگان
چکیده
We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP , and show that first-order logic is IQC .
منابع مشابه
Fragments of Kripke{platek Set Theory with Innnity
In this paper we shall investigate fragments of Kripke{Platek set theory with Innnity which arise from the full theory by restricting Foundation to n Foundation, where n 2. The strength of such fragments will be characterized in terms of the smallest ordinal such that L is a model of every 2 sentence which is provable in the theory.
متن کاملKripke-Platek Set Theory and the Anti-Foundation Axiom
The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown that the addition of AFA considerably increases the proof theoretic strength. 1. Introduction Intrinsically circular phenomena have come to the attention of researchers in diiering elds such as mathematical logic, computer science, artiicial intelligenc...
متن کاملRelativized ordinal analysis: The case of Power Kripke-Platek set theory
The paper relativizes the method of ordinal analysis developed for KripkePlatek set theory to theories which have the power set axiom. We show that it is possible to use this technique to extract information about Power Kripke-Platek set theory, KP(P). As an application it is shown that whenever KP(P) + AC proves a Π2 statement then it holds true in the segment Vτ of the von Neumann hierarchy, ...
متن کاملRelating Categorical and Kripke Semantics for Intuitionistic Modal Logics
We consider two systems of intuitionistic modal logic which are com-putationally motivated: rst, they have a constructive proof theory, and second, their modalities allow several computational interpretations. Both systems have so far been studied from a type-theoretic and category-theoretic perspectives. In this paper, we prove some duality results which show how to relate Kripke models to the...
متن کاملThe Intuitionistic Alternative Set Theory
Lano, K., The intuitionistic alternative set theory, Annals of Pure and Applied Logic 59 (1993) 141-156. The Alternative Set Theory, as defined in Vopenka and Sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. This paper defines a theory which can serve as an intuitionistic analogue of AST, and examines motivatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2021
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2021.103014